3

Algorithms

Year:
1996
Language:
english
File:
PDF, 563 KB
english, 1996
4

Algorithms

Year:
1996
Language:
english
File:
PDF, 1.12 MB
english, 1996
5

Introduction to algorithms

Year:
1996
Language:
english
File:
PDF, 1.02 MB
english, 1996
8

Algorithms

Year:
1998
Language:
english
File:
PDF, 1.43 MB
english, 1998
9

Algorithms

Year:
1997
Language:
english
File:
PDF, 999 KB
english, 1997
10

Algorithms

Year:
1997
Language:
english
File:
PDF, 1.22 MB
english, 1997
11

Algorithms

Year:
1997
Language:
english
File:
PDF, 1.00 MB
english, 1997
12

Algorithms

Year:
1997
Language:
english
File:
PDF, 950 KB
english, 1997
13

Conversion of alkoxy-9,10-anthraquinones to alkoxyanthracenes

Year:
1981
Language:
english
File:
PDF, 411 KB
english, 1981
14

Design of software for safety critical systems

Year:
1994
Language:
english
File:
PDF, 1.79 MB
english, 1994
15

Algorithms

Year:
1996
Language:
english
File:
PDF, 484 KB
english, 1996
16

Algorithms

Year:
1996
Language:
english
File:
PDF, 766 KB
english, 1996
21

Combinatory formulations of concurrent languages

Year:
1997
Language:
english
File:
PDF, 240 KB
english, 1997
29

An Optimal Multiprocessor Real-Time Scheduling Algorithm

Year:
1997
Language:
english
File:
PDF, 170 KB
english, 1997
31

Stereoselective synthesis of 1,8- and 1,5-diketo-trans-syn-trans-perhydroanthracenes

Year:
1980
Language:
english
File:
PDF, 237 KB
english, 1980
32

A simple livelock-free algorithm for packet switching

Year:
1984
Language:
english
File:
PDF, 504 KB
english, 1984
33

Foreword

Year:
1983
Language:
english
File:
PDF, 70 KB
english, 1983
34

Foreword

Year:
1984
File:
PDF, 47 KB
1984
35

A closer look at constraints as processes

Year:
2006
Language:
english
File:
PDF, 90 KB
english, 2006
37

The monomethyl and dimethyl derivatives of benzo[e]pyrene

Year:
1981
Language:
english
File:
PDF, 688 KB
english, 1981
40

Trust management for e-transactions

Year:
2005
Language:
english
File:
PDF, 126 KB
english, 2005
41

Proof theory for exception handling in a tasking environment

Year:
1990
Language:
english
File:
PDF, 1.66 MB
english, 1990
42

Proving termination of GHC programs

Year:
1997
Language:
english
File:
PDF, 2.18 MB
english, 1997
43

e-coupons: An Efficient, Secure and Delegable Micro-Payment System

Year:
2005
Language:
english
File:
PDF, 1.33 MB
english, 2005
44

Programmed OL-systems

Year:
1980
Language:
english
File:
PDF, 864 KB
english, 1980
45

Correctness proof for the majority consensus algorithm

Year:
1986
Language:
english
File:
PDF, 781 KB
english, 1986
46

A linear time algorithm for obtaining the convex hull of a simple polygon

Year:
1983
Language:
english
File:
PDF, 330 KB
english, 1983
47

A linear time algorithm for computing the convex hull of an ordered crossing polygon

Year:
1984
Language:
english
File:
PDF, 524 KB
english, 1984
48

On a characterization of pushdown permuters

Year:
1982
Language:
english
File:
PDF, 880 KB
english, 1982
49

Foreword

Year:
1985
Language:
english
File:
PDF, 40 KB
english, 1985
50

Foreword

Year:
1995
Language:
english
File:
PDF, 29 KB
english, 1995